<?php

interface AnInterface {
  public function foo(int $x);

  public function bar(array $x);
}